COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	to: provost
C00004 ENDMK
C⊗;
to: provost

attn: Mary Hanrahan

subject: Promotion of Carolyn Talcott to Senior Research Associate

	This is to support the promotion of Dr. Carolyn Talcott
from Research Associate to Senior Research Associate.  As is
apparent from her vita she has been doing research of the
appropriate quality and quantity both before and since she
received her second PhD in 1985.  Her first PhD was in 1966
in chemistry from U. C. Berkeley.

	She is one of the leading experts
in the semantics of computer programming languages and has
an international reputation in this field.

	In addition she has been managing the projects of the
Formal Reasoning Group for the last two years and representing
this group (as directed by its Principal Investigator, Professor
John McCarthy) in dealing with DARPA and NSF.